Contingent Remainder or Executory Devise?

Grounding : Necessary or Contingent ?

Recent interest in the nature of grounding is due in part to the idea that purely modal notions are too coarse-grained to capture what we have in mind when we say that one thing is grounded in another. Grounding not being purely modal in character, however, is compatible with it having modal consequences. Is grounding a necessary relation? In this article I argue that the answer is ‘yes’ in the...

DeViSE: A Deep Visual-Semantic Embedding Model

Modern visual recognition systems are often limited in their ability to scale to large numbers of object categories. This limitation is in part due to the increasing difficulty of acquiring sufficient training data in the form of labeled images as the number of object categories grows. One remedy is to leverage data from other sources – such as text data – both to train visual models and to con...

k-Remainder Cordial Graphs

In this paper we generalize the remainder cordial labeling, called $k$-remainder cordial labeling and investigate the $4$-remainder cordial labeling behavior of certain graphs.

The Chinese Remainder Theorem

Taylor’s Formula with Remainder

In this paper, we present a proof in ACL2(r) of Taylor’s formula with remainder. This important theorem allows a function f with n + 1 derivatives on the interval [a, b] to be approximated with a Taylor series of n terms centered at a. Moreover, the formula allows the error in the approximation to be bounded by a term involving the (n + 1)st derivative of f on (a, b). The results in this paper ...